University of Southampton - PDFSEARCH.IO - Document Search Engine

University of Southampton
Results: 534

#	Item
41	Using Rodin and BMotionStudio for Public Engagement Dana Dghaym, Asieh Salehi and Colin Snook University of Southampton, Southampton, United Kingdom As part of its public engagement activities the University of Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:49:48 Car Economic model
42	The 7th ESRC Research Methods Festival, organised by the National Centre for Research Methods, takes place next week in Bath and we are busy making final preparations. We hope that you enjoy the Festival and your stay in Add to Reading List Source URL: www.ncrm.ac.uk Language: English - Date: 2016-06-22 09:25:23 Russell Group Bath Somerset Cotswolds River Avon Bristol University of Southampton Wessex Bus University of Bath England
43	CCPO CIRCULATION SUMMER 2015 VOL. 20, NO. 3 Add to Reading List Source URL: www.ccpo.odu.edu Language: English - Date: 2015-08-03 11:02:54 Physical geography Climatology Atmospheric sciences Sea level University of Southampton Climate change Earth sciences Oceanography Old Dominion University National Oceanography Centre Sea level rise Future sea level
44	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
45	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
46	Institute of Materials Finishing Southern Branch “Need to Paint Your Wagon?” Date: 5th October:00 – 21:00) The Southern branch of the IMF is pleased to invite you to it’s first ever evening Seminar devot Add to Reading List Source URL: www.materialsfinishing.org Language: English - Date: 2016-08-01 11:30:18 Boldrewood Campus University of Southampton SO16 Paint Spray painting
47	Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:04:56 Operations research Mathematical optimization Constraint programming Logic in computer science NP-complete problems Topology Satisfiability modulo theories Dynamic programming Semidefinite programming
48	NERC LIFE SCIENCES MASS SPECTROMETRY FACILITY Application for Analytical Support Note: Please discuss your project with staff of the relevant Facility node (see notes) before completing Add to Reading List Source URL: www.chm.bris.ac.uk Language: English - Date: 2016-03-22 06:14:22 Electric power Generating Availability Data System Science and technology in the United Kingdom Conservation in the United Kingdom University of Southampton NERC Data Centres
49	Distributed Stream Reasoning Rehab Albeladi, Kirk Martinez, Nicholas Gibbins Electronics and Computer Science, University of Southampton, UK {raab1g09, km, nmg }@ecs.soton.ac.uk Abstract. Stream Reasoning is the combina Add to Reading List Source URL: 2012.eswc-conferences.org Language: English - Date: 2012-07-23 09:47:34 Semantic Web Knowledge engineering Knowledge representation Resource Description Framework Web services Data stream management system Semantic reasoner Rete algorithm RDF Schema Stream SPARQL Graph database
50	IOCCP-JAMSTEC 2015 Inter calibration exercise ISBN3 + IOCCP-JAMSTEC 2015 Inter-laboratory Calibration Add to Reading List Source URL: www.scor-int.org Language: English - Date: 2016-07-15 06:54:56 University of Southampton Japan Agency for Marine-Earth Science and Technology Marine biology Oceanography National Oceanography Centre Southampton Bermuda Institute of Ocean Sciences GEOMAR Helmholtz Centre for Ocean Research Kiel National Oceanography Centre Atlantic Oceanographic and Meteorological Laboratory National Institute of Oceanography India School of Fisheries and Ocean Sciences Institute of Marine Sciences and Fisheries

UPDATE